111![A Modality for Safe Resource Sharing and Code Reentrancy ? Rui Shi1 , Dengping Zhu2 , and Hongwei Xi3 1 Yahoo! Inc. A Modality for Safe Resource Sharing and Code Reentrancy ? Rui Shi1 , Dengping Zhu2 , and Hongwei Xi3 1 Yahoo! Inc.](https://www.pdfsearch.io/img/31a7aa58012ac4ca443de35d110e402f.jpg) | Add to Reading ListSource URL: cs-www.bu.eduLanguage: English - Date: 2010-08-06 16:36:27
|
---|
112![Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago](https://www.pdfsearch.io/img/71df238c0449e461eb1a9e04e5d5c5de.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2008-08-07 13:41:05
|
---|
113![Tips for Computer Scientists on Standard ML (Revised) Mads Tofte Tips for Computer Scientists on Standard ML (Revised) Mads Tofte](https://www.pdfsearch.io/img/e2ffec0f5e9a0e7bc9adc2c592240976.jpg) | Add to Reading ListSource URL: www.itu.dkLanguage: English - Date: 2009-08-30 11:24:46
|
---|
114![Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT Contrasting Exceptions and Continuations Hayo Thielecke School of Computer Science University of Birmingham Birmingham B15 2TT](https://www.pdfsearch.io/img/5b4e341dd3586a27cd2bdf9a6a94fc3b.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2001-10-19 09:34:25
|
---|
115![Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland](https://www.pdfsearch.io/img/72a1baec1055c5c843f83df6b8192c8d.jpg) | Add to Reading ListSource URL: www.itu.dkLanguage: English - Date: 2002-10-12 10:57:16
|
---|
116![Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Typed λ-calculus: course notes P. B. Levy University of Birmingham 1](https://www.pdfsearch.io/img/587059e04d191cdf45dfff2025350d6a.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2015-04-11 03:52:53
|
---|
117![CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey. CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey.](https://www.pdfsearch.io/img/1c7b7a5b4fa8ed2284757c38caa6cdc3.jpg) | Add to Reading ListSource URL: infolab.stanford.eduLanguage: English - Date: 2008-09-19 01:01:14
|
---|
118![Fundamenta Informaticae XXI–IOS Press Fundamenta Informaticae XXI–IOS Press](https://www.pdfsearch.io/img/ded269893b9f598c1a2b00f12b324e0d.jpg) | Add to Reading ListSource URL: ttic.uchicago.eduLanguage: English - Date: 2007-08-15 03:03:16
|
---|
119![Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3](https://www.pdfsearch.io/img/6138b6ecc19d112e14fe287c4bc0951d.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
120![A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1](https://www.pdfsearch.io/img/79fbf493f4b5db326806f82e471b2eeb.jpg) | Add to Reading ListSource URL: mlton.orgLanguage: English - Date: 2014-02-17 13:56:37
|
---|